2 402 202 книги
без регистрации
бесплатно
Мобильная версия
Книги
Категории и жанры
Лучшие книги
Добавить книгу
Библиотека
Помощь
Мобильная версия
Плагин
Контакты
Как помочь?
Спонсорам и инвесторам
API
Booksee
.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Foundations of Security Analysis and Design V: FOSAD 2008 2009 Tutorial Lectures (Lecture Notes in Computer Science Security and Cryptology)
Alessandro Aldini
,
Gilles Barthe
,
Roberto Gorrieri
Категория:
Компьютеры
3.31 Mb
#2
Computational Methods in Systems Biology
Pierpaolo Degano
,
Roberto Gorrieri
Категория:
Математика
,
Вычислительная математика
6.64 Mb
#3
Computational Methods in Systems Biology: 7th International Conference, CMSB 2009 (Lecture Notes in Computer Science Lecture Notes in Bioinformatics)
Pierpaolo Degano
,
Roberto Gorrieri
Категория:
Компьютеры
7.42 Mb
#4
Foundations of Security Analysis and Design V: FOSAD 2008 2009 Tutorial Lectures (Lecture Notes in Computer Science Security and Cryptology)
Alessandro Aldini
,
Gilles Barthe
,
Roberto Gorrieri
Категория:
Компьютеры
5.45 Mb
#5
Foundations of Security Analysis and Design VI
Alessandro Aldini
,
Roberto Gorrieri
3.64 Mb
#6
Automata, Languages and Programming, 24 conf., ICALP97
Pierpaolo Degano
,
Roberto Gorrieri
,
Alberto Marchetti-Spaccamela
Категория:
Cs_Computer science
,
CsLn_Lecture notes
10.31 Mb
#7
Foundations of Security Analysis and Design 3 conf., FOSAD 2004-2005 Tutorial Lectures
Alessandro Aldini
,
Roberto Gorrieri
,
Fabio Martinelli
Категория:
CsLn_
2.56 Mb
#8
Foundations of Security Analysis and Design
Riccardo Focardi
,
Roberto Gorrieri
1.97 Mb
#9
Foundations of Security Analysis and Design: Tutorial Lectures
Riccardo Focardi
,
Roberto Gorrieri
2.74 Mb
#10
Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006,
Roberto Gorrieri
,
Heike Wehrheim
3.98 Mb
#11
Foundations of Security Analysis and Design: FOSAD 2006/2007 Turtorial Lectures
Alessandro Aldini
,
Roberto Gorrieri
4.33 Mb
#12
Foundations of Security Analysis and Design II
Riccardo Focardi
,
Roberto Gorrieri
2.42 Mb
#13
Introduction to Concurrency Theory: Transition Systems and CCS
Roberto Gorrieri
,
Cristian Versari
Категория:
Progamming
,
Mathematics
3.47 Mb